Model theory - PDFSEARCH.IO - Document Search Engine

Model theory
Results: 13417

#	Item
231	11 The Kondo Effect Frithjof B. Anders Theoretische Physik II ¨ Dortmund Technische Universitat Add to Reading List Source URL: www.cond-mat.de Language: English - Date: 2012-08-20 13:43:06 Physics Condensed matter physics Materials science Renormalization group Quantum field theory Mathematical physics Statistical mechanics Kondo effect Numerical renormalization group Kondo model Spinorbit interaction Renormalization
232	Microsoft Word - The Death of Common Sense（HP掲載）.doc Add to Reading List Source URL: www.jiaa.or.jp Language: English - Date: 2015-08-18 22:29:31 Economy Finance Money Mathematical finance Investment Stock market Financial markets Financial economics Efficient-market hypothesis Capital asset pricing model Technical analysis Arbitrage pricing theory
233	Microsoft Word - GLRPDG2009.doc Add to Reading List Source URL: www.idep.eco.usi.ch Language: English - Date: 2012-01-09 10:18:03 Regression analysis Statistics Formal sciences Estimation theory Knowledge Academia Statistical methods Simultaneous equation methods Econometrics Autocorrelation Instrumental variable Economic model
234	Investigating the Impact of Communication Quality on Evolving Populations of Artificial Life Agents Sadat Chowdhury1 and Elizabeth I. Sklar2 1 The Graduate Center, The City University of New York, New York, NY, USA Add to Reading List Source URL: nms.kcl.ac.uk Language: English - Date: 2015-05-19 17:01:48 Artificial intelligence Multi-agent systems Systems science Systems theory Academia Cognitive science Complex systems theory Simulation Agent-based model Swarm behaviour Swarm intelligence Stigmergy
235	This is Floodline. Warning for d o lo F Add to Reading List Source URL: www.floodlinescotland.org.uk Language: English - Date: 2015-10-14 07:09:25 Complexity classes Finite model theory FO CK
236	2nd Microgrids: Military and Commercial What is OSI Model equivalent for energy ? Networked Local Power Distribution With Nanogrids Add to Reading List Source URL: nordman.lbl.gov Language: English - Date: 2013-06-13 14:35:39 Electric power Energy Electric power distribution Electric power transmission systems Control theory Electrical grid Microgrid Optimal control Distributed generation Grid connection Fractalgrid LIFE Factory Microgrid
237	June 01, 2016 Climate, Black Holes and Vorticity: How on Earth are They Related? By George Haller Add to Reading List Source URL: georgehaller.com Language: English - Date: 2016-07-22 05:30:01 Fluid dynamics Aerodynamics Mechanics Physics Chaos theory Continuum mechanics Turbulence Eddy Lagrangian coherent structure Vorticity Vortex Ocean general circulation model
238	IMAGINARIES AND DEFINABLE TYPES IN ALGEBRAICALLY CLOSED VALUED FIELDS EHUD HRUSHOVSKI This manuscript is largely an exposition of material from [1], [2] and [3], regarding definable types in the model completion of the t Add to Reading List Source URL: www.ma.huji.ac.il Language: English - Date: 2014-03-26 03:46:35 Algebra Abstract algebra Mathematics Field theory Algebraic geometry Valuation Sheaf Constructible universe Transcendental number Approximately finite-dimensional C*-algebra Differential forms on a Riemann surface
239	Statistical Relational Learning with Soft Quantifiers Golnoosh Farnadi1,2 , Stephen H. Bach3 , Marjon Blondeel4 , Marie-Francine Moens2 , Lise Getoor5 , and Martine De Cock1,6 1 Dept. of Applied Mathematics, Computer Sc Add to Reading List Source URL: stephenbach.net Language: English - Date: 2015-09-22 18:21:56 Logic Mathematical logic Abstraction Quantification Predicate logic Model theory Semantics Formal languages Quantifier First-order logic Constructible universe Universal quantification
240	A BDD Representation for Positive Equational Formulas Wenxin Song, Eugene W. Stark? Department of Computer Science State University of New York at Stony Brook Add to Reading List Source URL: bsd7.cs.sunysb.edu Language: English - Date: 2008-07-02 09:38:12 Mathematics Logic Mathematical logic Boolean algebra Formal languages Model theory Binary decision diagram Model checking IP Boolean satisfiability problem Constructible universe Well-formed formula

UPDATE